1121. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Wang Yi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2031
1122. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
پدیدآورنده : Hubert Garavel, John Hatcliff )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2619
1123. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
پدیدآورنده : Joost-Pieter Katoen, Perdita Stevens )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2280
1124. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
1125. Tools and applications with artificial intelligence
پدیدآورنده : Constantinos Koutsojannis, Spiros Sirmakessis )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Intelligent agents )Computer software(
رده :
Q
334
.
T665
1126. Tools and applications with artificial intelligence
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1127. Tools and applications with artificial intelligence
پدیدآورنده : / Constantinos Koutsojannis, Spiros Sirmakessis (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Artificial intelligence--Congresses,Intelligent agents (Computer software)--Congresses
1128. Tools for the simulation profession, proceeding of the 1987 Conferences: tools for the simulationist, the simulation profession, 6-9 April 1987, Orlando, Florida
پدیدآورنده : edited by Robert Hawkins and Keith Klukis
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Digital computer simulation,Congresses ، Computer software
رده :
QA
76
.
9
.
C65
T66
1987
1129. Top productivity through software reus
پدیدآورنده : Klaus Schmid (ed.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer software, Reusability, Congresses
رده :
QA
،
76
.
76
،.
R47
1130. Toward autonomous, adaptive, and context-aware multimodal interfaces :
پدیدآورنده : Anna Esposito [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Human-computer interaction, Congresses,Self-adaptive software, Congresses,User interfaces (Computer systems), Congresses
رده :
QA76
.
9
.
U83
C67
2011
1131. Transactions on petri nets and other models of concurrency VII
پدیدآورنده : Kurt Jensen [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
رده :
QA267
.
K878
2013
1132. Trends in Practical Applications of Agents and Multiagent Systems
پدیدآورنده : \ [Edited] by Javier Bajo Pérez...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Intelligent agents (Computer software) -- Congresses.,عوامل هوشمند (نرم‌افزار کامپیوتر) -- کنگره ها
رده :
E-Book
,
1133. Trends in enterprise application architectur
پدیدآورنده : / Dirk Draheim, Gerald Weber (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Business enterprises--Computer networks--Congresses,Application software--Congresses
1134. Trends in enterprise application architecture
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Business enterprises ; Computer networks ; Congresses. ; Application software ; Congresses. ; Computer architecture ; Congresses. ;
1135. Trends in practical applications of agents and multiagent systems
پدیدآورنده : Juan M. Corchado Rodríguez ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Intelligent agents (Computer software), Congresses
رده :
QA76
.
76
.
I58
I58
2012eb
1136. Trust, Reputation, and security : Theories and practice : AAMAS 2002 international workshop, Bologna, Italy, July 15, 2002 : selected and invited papers
پدیدآورنده : Rino Falcone ... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Trust
رده :
QA
76
.
L28
Vol
.
2631
1137. Trusting agents for trusting electronic societies : theory and applications in HCI and E-commerce
پدیدآورنده : Rino Falcone... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Trust,Simulation methods -- Congresses ، Trust,، Electronic commerce
رده :
QA
76
.
L28
Vol
.
3577
1138. Tutorial: software reuse: emerging technology
پدیدآورنده : Tracz, Will
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer software - Congresses
رده :
QA
76
.
76
.
R47
1139. UIST'10 : proceedings of the Twenty-Third Annual ACM Symposium on User Interface Software and Technology, October 3-6, 2010, New York, USA
پدیدآورنده : sponsored by : ACM SIGCHI and SIGGRAPH
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Computer software,Congresses ، Interactive computer systems
رده :
QA
76
.
9
.
U83A23
2010
1140. UIST 2007 : proceedings of the 20th Annual ACM Symposium on User Interface Software and Technology, Newport, Rhode Island, USA, October 7-10, 2007
پدیدآورنده : SIGCHI, ACMSIGGRAPH
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Computer software,Congresses ، Interactive computer systems
رده :
QA
76
.
9
.
U83A23
2007
